翻訳と辞書 Words near each other ・ Friedheim, Missouri ・ Friedhelm ・ Friedhelm Busse ・ Friedhelm Döhl ・ Friedhelm Eicker ・ Friedhelm Eronat ・ Friedhelm Frischenschlager ・ Friedhelm Funkel ・ Friedhelm Gehrmann ・ Friedhelm Haebermann ・ Friedhelm Hardy ・ Friedhelm Hengsbach ・ Friedhelm Hillebrand ・ Friedberg ・ Friedberg (surname) ・ Friedberg numbering ・ Friedberg station ・ Friedberg, Bavaria ・ Friedberg, Hesse ・ Friedberg, Styria ・ Friedberger ・ Friedberger Ach ・ Friedberger Baggersee ・ Friedberg–Hanau railway ・ Friedbert Pflüger ・ Friede ・ Friede (name) ・ Friede sei mit Dir ・ Friede Springer ・ Friedeberg Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Friedberg numbering ： ウィキペディア英語版 Friedberg numbering In computability theory, a Friedberg numbering is a numbering (enumeration) of the set of all partial recursive functions that has no repetitions: each partial recursive function appears exactly once in the enumeration (Vereščagin and Shen 2003:30). The existence of such numberings was established by Richard M. Friedberg in 1958 (Cutland 1980:78). ==References== * Nigel Cutland (1980), ''Computability: An Introduction to Recursive Function Theory'', Cambridge University Press. ISBN 9780521294652. * Richard M. Friedberg (1958), ''Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication'', ''Journal of Symbolic Logic'' 23:3, pp. 309–316. * Nikolaj K. Vereščagin and A. Shen (2003), ''Computable Functions'', American Mathematical Soc. ==External links== *(Institute of Mathematics ) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Friedberg numbering」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.